1. Theory and Applications of Satisfiability Testing – SAT 2015
پدیدآورنده : \ Marijn Heule , Sean Weaver (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتمهای کامپیوتری -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها ,الگوریتمهای کامپیوتری
رده :
QA
76
.
9
.
A43
2015
E-Book
,
